`:top
Der `!Modus Barbara`! ist eine klassische Form des `F33f`_`[logischen Schlusses`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Logischer_Schluss]`_`f (`F33f`_`[Syllogismus`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Syllogismus]`_`f) in der traditionellen `F33f`_`[aristotelischen Logik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Aristotelische_Logik]`_`f. Er bezeichnet den ersten Modus der ersten Figur des einfachen `F33f`_`[kategorischen Syllogismus`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Syllogismus]`_`f. Der Name „Barbara“ stammt aus einem mittelalterlichen lateinischen Merkspruch, der zur Einprägung der gültigen Syllogismusfiguren diente. Die drei Vokale „`*A-A-A`*“ geben an, dass beide `F33f`_`[Prämissen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Prämisse]`_`f und der `F33f`_`[Schlusssatz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schlussfolgerung]`_`f allgemein-bejahende Urteile (Aussagen der Form „Alle S sind P“) sind.`:cite-ref-kondakow-1-0[`F5bf`_`[1`#cite-note-kondakow-1]`_`f]
>>Contents
• `F0af`_`[Geschichte`#geschichte]`_`f
• `F0af`_`[Formen und Beispiele`#formen-und-beispiele]`_`f
• `F0af`_`[Aristotelische Urform`#aristotelische-urform]`_`f
• `F0af`_`[Spätere Darstellung`#sp-tere-darstellung]`_`f
• `F0af`_`[Formale Darstellung`#formale-darstellung]`_`f
• `F0af`_`[Vergleich mit anderen Schlussregeln`#vergleich-mit-anderen-schlussregeln]`_`f
• `F0af`_`[Anwendung in logischen Kalkülen`#anwendung-in-logischen-kalk-len]`_`f
• `F0af`_`[Siehe auch`#siehe-auch]`_`f
• `F0af`_`[Literatur`#literatur]`_`f
• `F0af`_`[Weblinks`#weblinks]`_`f
• `F0af`_`[Einzelnachweise`#einzelnachweise]`_`f
-─
>>Geschichte
Der Modus Barbara wurde bereits von `F33f`_`[Aristoteles`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Aristoteles]`_`f in seiner „Ersten Analytik“ (`F33f`_`[Analytica Priora`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Analytica_priora]`_`f) beschrieben, wo er als einer der vollkommenen Syllogismen (syllogismi perfecti) klassifiziert wurde`:cite-ref-aristoteles-2-0[`F5bf`_`[2`#cite-note-aristoteles-2]`_`f].
Die Bezeichnung „Barbara“ selbst wurde jedoch erst in der mittelalterlichen `F33f`_`[Scholastik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Scholastik]`_`f eingeführt, als Teil eines umfassenderen Systems zur Klassifikation von Syllogismen. Dieses System wurde im 13. Jahrhundert entwickelt und diente dazu, verschiedene Arten von Syllogismen zu kategorisieren und zu erinnern`:cite-ref-lagerlund-3-0[`F5bf`_`[3`#cite-note-lagerlund-3]`_`f].
Dieses `F33f`_`[Erinnerungs-`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Mnemotechnik]`_`f und Benennungssystem, zu dem „Barbara“ gehört, wurde zu einem wichtigen Werkzeug in der Logikausbildung und -forschung des Mittelalters und der frühen Neuzeit. Es ermöglichte Logikern, komplexe Argumentstrukturen effizient zu kommunizieren und zu analysieren`:cite-ref-4[`F5bf`_`[4`#cite-note-4]`_`f].
„`*Modus`*“ leitet sich vom lateinischen Wort für Schlussfigur ab. „`*Barbara`*“ selbst besitzt keinen direkten sprachlichen Bezug, sondern kodiert die logische Struktur des `F33f`_`[Syllogismus`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Syllogismus]`_`f`:cite-ref-5[`F5bf`_`[5`#cite-note-5]`_`f]. Die drei Vokale im Wort „Barbara“ repräsentieren die drei Aussagen eines Syllogismus: `F33f`_`[Obersatz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Obersatz]`_`f, `F33f`_`[Untersatz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Untersatz]`_`f und `F33f`_`[Schlusssatz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schlusssatz]`_`f. Da in „Barbara“ dreimal der Buchstabe „A“ vorkommt, handelt es sich bei allen Aussagen um `F33f`_`[allgemein`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Quantor]`_`f `F33f`_`[bejahende`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Assertion]`_`f Aussagen (vom lateinischen „affirmo“, „ich bejahe“). In der `F33f`_`[scholastischen Logik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Scholastik]`_`f wurden diese Aussagen als `F33f`_`[A-Aussagen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Aussagenlogik]`_`f bezeichnet`:cite-ref-thom-6-0[`F5bf`_`[6`#cite-note-thom-6]`_`f]. Diese haben die Form `F33f`_`[kategorischer Urteile`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Kategorisches_Urteil]`_`f: `*S ist P`*.
>>Formen und Beispiele
>>>Aristotelische Urform
Ein Beispiel für den Modus Barbara in der aristotelischen Urform:
Diese Darstellung entspricht der ursprünglichen Form, wie sie von Aristoteles in seiner „Ersten Analytik“ präsentiert wurde`:cite-ref-aristoteles-2-1[`F5bf`_`[2`#cite-note-aristoteles-2]`_`f]. Hier wird der `F33f`_`[Mittelbegriff`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Mittelbegriff]`_`f (M) zuerst mit dem Prädikat der Konklusion (S) und dann mit dem Subjekt der Konklusion (P) verbunden.
>>>Spätere Darstellung
Folgendes Beispiel zeigt die Gestalt des Modus Barbara in der späteren, mittelalterlichen Darstellung`:cite-ref-kondakow-1-1[`F5bf`_`[1`#cite-note-kondakow-1]`_`f]: (rechts in `F33f`_`[Prädikatenlogik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Prädikatenlogik]`_`f)
Diese Darstellung ist die Kodierung des `F33f`_`[Petrus Hispanus`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Petrus_Hispanus]`_`f. Im Vergleich zur aristotelischen Urform sind hier die Prämissen in umgekehrter Reihenfolge angeordnet, und alle Terme sind allgemein `F33f`_`[quantifiziert`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Quantifizierung]`_`f.
>>>Formale Darstellung
Der Modus Barbara kann formal mit dem Ableitungsoperator ⊢ ⊢ {\\displaystyle \\vdash } dargestellt werden:
∀ ∀ x ( M x → → S x ) , ∀ ∀ x ( G x → → M x ) ⊢ ⊢ ∀ ∀ x ( G x → → S x ) {\\displaystyle \\forall x(Mx\\rightarrow Sx),\\forall x(Gx\\rightarrow Mx)\\vdash \\forall x(Gx\\rightarrow Sx)}
Diese Notation verdeutlicht, dass aus den beiden Prämissen die Konklusion logisch folgt`:cite-ref-7[`F5bf`_`[7`#cite-note-7]`_`f].
>>Vergleich mit anderen Schlussregeln
Während der Modus Barbara ein kategorischer Syllogismus ist, der mit allgemeinen Aussagen arbeitet, ist der `F33f`_`[Modus ponens`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Modus_ponens]`_`f eine `F33f`_`[Schlussregel`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schlussregel]`_`f, die mit hypothetischen Aussagen operiert. Beide sind grundlegende Werkzeuge der formalen Logik, die bereits in der antiken Philosophie bekannt waren`:cite-ref-8[`F5bf`_`[8`#cite-note-8]`_`f].
>>Anwendung in logischen Kalkülen
Der Modus Barbara spielt eine wichtige Rolle in verschiedenen logischen Kalkülen. In Systeme des natürlichen Schließens kann er als Beseitigungsregel für den Allquantor und die Implikation verstanden werden. In der `F33f`_`[Prädikatenlogik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Prädikatenlogik]`_`f erster Stufe ist er ein grundlegendes Beweisprinzip`:cite-ref-9[`F5bf`_`[9`#cite-note-9]`_`f].
>>Siehe auch
• `F33f`_`[Transitive Relation`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Transitive_Relation]`_`f
• Weitere traditionelle Schlussweisen:
• `F33f`_`[Modus tollendo tollens`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Modus_tollendo_tollens]`_`f
• `F33f`_`[Modus ponendo ponens`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Modus_ponendo_ponens]`_`f
• `F33f`_`[Modus ponendo tollens`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Modus_ponendo_tollens]`_`f
• `F33f`_`[Modus tollendo ponens`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Modus_tollendo_ponens]`_`f
>>Literatur
• Ebbinghaus, H.-D., Flum, J., Thomas, W.: `*Einführung in die mathematische Logik`*, Spektrum Akademischer Verlag 1996.
>>Weblinks
• Aristoteles: Analytica Priora (altgriechischer Text)
• Aristoteles: Erste Analytik (deutsche Übersetzung von Kirchmann 1877)
• Wilholt, T.: Logik und Argumentation, Vorlesungsskript, Universität Hannover (umfassendes Skript zur Logik, einschließlich Syllogistik)
>>Einzelnachweise
`:cite-note-kondakow-1`!1.`! `F0af`_`[↑`#cite-ref-kondakow-1-0]`_`f Kondakow, N. I.: Wörterbuch der Logik, VEB Bibliographisches Institut Leipzig, 1978, S. 72
`:cite-note-aristoteles-2`!2.`! `F0af`_`[↑`#cite-ref-aristoteles-2-0]`_`f Aristoteles: Analytica Priora A4, 25b37-26a2, 26a23-28
`:cite-note-lagerlund-3`!3.`! `F0af`_`[↑`#cite-ref-lagerlund-3-0]`_`f Lagerlund, Henrik: „Medieval Theories of the Syllogism“, The Stanford Encyclopedia of Philosophy (Spring 2021 Edition), Edward N. Zalta (ed.)
`:cite-note-4`!4.`! `F0af`_`[↑`#cite-ref-4]`_`f Spade, Paul Vincent: „Thoughts, Words and Things: An Introduction to Late Mediaeval Logic and Semantic Theory“, 1996, Version 1.2, S. 27–28
`:cite-note-5`!5.`! `F0af`_`[↑`#cite-ref-5]`_`f Parsons, Terence: „The Traditional Square of Opposition“, The Stanford Encyclopedia of Philosophy (Summer 2017 Edition), Edward N. Zalta (ed.).
`:cite-note-thom-6`!6.`! `F0af`_`[↑`#cite-ref-thom-6-0]`_`f Thom, Paul: „Logic and Ontology in the Syllogistic of Robert Kilwardby“, Brill, 2007, S. 83.
`:cite-note-7`!7.`! `F0af`_`[↑`#cite-ref-7]`_`f Corcoran, John: „Aristotle’s Demonstrative Logic“, History and Philosophy of Logic, 30:1, 2009, S. 1–20
`:cite-note-8`!8.`! `F0af`_`[↑`#cite-ref-8]`_`f Bobzien, Susanne: „Ancient Logic“, The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta (ed.)
`:cite-note-9`!9.`! `F0af`_`[↑`#cite-ref-9]`_`f Gentzen, Gerhard: „Untersuchungen über das logische Schließen“, Mathematische Zeitschrift, 39, 1935, S. 176–210, 405–431
`c`F0af`_`[↑ Back to top`#top]`_`f`a